/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package drt;

/**
 *
 * @author phong
 */
public abstract class SDRSCondition extends DRSCondition{
 
    @Override
    public abstract SDRSCondition simplify();
    
    @Override
    public abstract SDRSCondition replace(DrtVariable var, DrtExpression exp);
}
